例句與造句

1. The manipulation of these abbreviations as actual formulas is then justified by the fact that extensions by definitions are conservative.
2. A first-order theory T'\, obtained from T by successive introductions of relation symbols and function symbols as above is called an "'extension by definitions "'of T.
3. It's difficult to find extension by definition in a sentence. 用extension by definition造句挺難的